Diclib.com
Dizionario ChatGPT

Ricerca nel dizionario Soluzioni personalizzate

Inserisci una parola o una frase in qualsiasi lingua 👆

Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

come viene usata la parola
frequenza di utilizzo
è usato più spesso nel discorso orale o scritto
opzioni di traduzione delle parole
esempi di utilizzo (varie frasi con traduzione)
etimologia

Carine - traduzione in francese

THEOREM PROVER, A MATHEMATICAL CONCEPT

Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

Carine

n. Carine, female first name

carinate

carinated, having a carina, having a ridge-like shape (Botany, Zoology)

Definizione

little owl

¦ noun a small owl with speckled plumage, native to Eurasia and Africa. [Athene noctua.]

Mostra altre definizioni

Wikipedia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

https://en.wikipedia.org/wiki/CARINE

Esempi dal corpus di testo per Carine

1. Recette culte: «Macaroni aux truffes noires et foie gras». Célébrités: Catherine Deneuve, Carine Roitfeld.

2. Carine Zuber, qui programme Cully, offre une carte blanche ŕ un pilier du festival.

3. Ghislaine Bloch L‘entrepreneur Rudi Pauwels a créé avec sa femme Carine Claeys la société Tibotec en 1''4.

4. Pour l‘heure, au Département fédéral des affaires étrang';res, Carine Carey, porte–parole, déclare qu‘aucune décision n‘a encore été prise.

5. Et celui d‘Osaka, le 31 mars 2008. «Mais la Suisse disposera toujours d‘une antenne commerciale sur place», précise Carine Carey.